Keplerin konjektuuri

Tähän artikkeliin tai osioon ei ole merkitty lähteitä, joten tiedot kannattaa tarkistaa muista tietolähteistä. Voit auttaa Wikipediaa lisäämällä artikkeliin tarkistettavissa olevia lähteitä ja merkitsemällä ne ohjeen mukaan.

Keplerin otaksuma, on Johannes Keplerin mukaan nimetty otaksuma, joka koskee pallojen pakkaamista kolmiulotteisessa euklidisessa avaruudessa. Sen mukaan samansäteisiä palloja ei voida pakata suuremmalla keskitiheydellä kuin pintakeskisellä kuutiollisella ja heksagonaalisella tiivispakkauksilla. Näiden pakkausten keskimääräinen tiheys on hieman yli 74 %. Vuonna 1998 Thomas Hales todisti lauseen tietokoneen avulla.

Vuonna 2015 Thomas Hales julkaisi yhdessä 21 työtoverinsa kanssa artikkelin A formal proof of the Kepler conjecture ennakkojulkaisujen arXiv -palvelimella. Vuonna 2017 konjektuurin todistus julkaistiin open access artikkelina Forum of Mathematics, Pi -julkaisusarjassa.^[1]

1. ↑ Thomas Hales, Mark Adams, Gertrud Bauer, Tat Dat Dang, John Harrison: A formal proof of the Kepler conjecture Forum of Mathematics, Pi, 5; ISSN=2050-5086. 2017. Viitattu 31.7.2021. (englanniksi)